DEF=lambda
EXT=lambda
KOMPILE_FLAGS=--gen-glr-bison-parser

%/arithmetic-div-zero.lambda:
	true

include ../../../../../../include/kframework/ktest.mak
